#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <string.h>
#include <assert.h>

int
main(int argc, char **argv)
{
	unsigned long n = 0x1234ABCD;
	unsigned char *c = NULL;
	int i = 0;

	c = (unsigned char *) &n;
	printf("0x%lX\n", n);
	for (i = 0; i < sizeof n; ++i)
		printf("0x%hhX ", *c++);
	fputc('\n', stdout);

	return 0;
}
